Basic Abstract Algebra Factbook
نویسنده
چکیده
2 Groups 3 2.1 Basics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Homomoprphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Direct and Semidirect Product . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Normal Subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.5 Finitely Generated Abelian Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.6 Exact Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.7 Syslow Subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.8 Simple Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.9 Solvable Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.10 Concrete Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
منابع مشابه
Applications of Computer Algebra
Algebra is defined as the manipulation of symbols. Today, algebra is commonly known as abstract algebra or modern algebra. Algebra is mainly used to describe the symmetries or patterns in the mathematics. Operations that made on algebraic structures are basic thing in the computer algebra algorithms. Set, functions (arithmetic, numerical, symbolic), field, group, semi-group, abelian group and r...
متن کاملRAPPORT Basic process algebra with iteration : completeness of its equational axioms
REPORTRAPPORT Basic process algebra with iteration: completeness of its equational axioms Abstract Bergstra, Bethke & Ponse BBP93] proposed an axiomatisation for Basic Process Algebra extended with (binary) iteration. In this paper, we prove that this axiomatisation is complete with respect to strong bisimulation equivalence. To obtain this result, we will set up a term rewriting system, based ...
متن کاملCurating the CIA World Factbook
The CIA World Factbook is a prime example of a curated database – a database that is constructed and maintained with a great deal of human effort in collecting, verifying, and annotating data. Preservation of old versions of the Factbook is important for verification of citations; it is also essential for anyone interested in the history of the data such as demographic change. Although the Fact...
متن کاملBasic Process Algebra with Iteration: Completeness of its Equational Axioms
Bergstra, Bethke and Ponse proposed an axiomatization for Basic Process Algebra extended with (binary) iteration. In this paper, we prove that this axiomatization is complete with respect to strong bisimulation equivalence. To obtain this result, we will set up a term rewriting system, based on the axioms, and prove that this term rewriting system is terminating, and that bisimilar normal forms...
متن کاملNotes on P - Algebra ( 4 ) : Algebra over ProcessStructure , Part I .
We develop theory of algebra over processes, based on an abstract treatment of process structure. The abstract framework of process structures is developed (Part I), and, on its basis, theory of algebra is developed where the basic results including Birkho -like Variety Theorem are proved (Part II). We also discuss properties of signi cant concrete examples of algebras, taken from extant theori...
متن کامل